#unspecified
#unspecified
#unspecified
#unspecified

================(19)=================

========= self_RR admiring yeti============
(Processing:  (A1R yeti who B _ A2RR admired himself))

-------------------
edge      : 644 A1R yeti who B _ A2RR admired himself	(0 8)	(((e \N t) /1 (e \N t)) /2 ((e \ t) / e)) 
semantics : (^ r1 (^ r2 (^ x ((r2 x) & ((r1 x) x)))))
proofnet  : (((((1 . e) \N (2 . t)) /1 ((3 . e) \N (4 . t))) /2 (((5 . e) \ (6 . t)) / (7 . e))) (A1R (((((1 . e) \N (2 . t)) /1 ((3 . e) \N (4 . t))) // (((3 . e) \N (4 . t)) \\ ((1 . e) \N (2 . t)))) / ((3 . e) \N (4 . t)))) (yeti ((3 . e) \N (4 . t))) (who ((((3 . e) \N (4 . t)) \ ((1 . e) \N (2 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((5 . e) \\ ((10 . e) > (6 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (6 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (6 . t)))) (A2RR ((((((1 . e) \N (2 . t)) /1 ((3 . e) \N (4 . t))) /2 (((5 . e) \ (6 . t)) / (7 . e))) // ((((5 . e) \ (6 . t)) / (7 . e)) \\ (((1 . e) \N (2 . t)) /1 ((3 . e) \N (4 . t))))) / (((5 . e) \ (6 . t)) / (7 . e)))) (admired (((5 . e) \ (6 . t)) / (7 . e))) (himself (((10 . e) > (6 . t)) // ((7 . e) \\ (6 . t)))))
derivation: ((D (U D)) (((D (U Z)) ((Z (U L)) (A1R yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2RR admired)))) (U himself)))))))

-------------------
edge      : 736 A1R yeti who B _ A2RR admired himself	(0 8)	(((e \N t) /1 (e \N t)) /2 ((e \ t) / e)) 
semantics : (^ r1 (^ x x))
proofnet  : (((((1 . e) \N (2 . t)) /1 ((1 . e) \N (2 . t))) /2 (((3 . e) \ (4 . t)) / (5 . e))) (A1R (((((1 . e) \N (2 . t)) /1 ((1 . e) \N (2 . t))) // (((1 . e) \N (2 . t)) \\ ((1 . e) \N (2 . t)))) / ((1 . e) \N (2 . t)))) (yeti ((6 . e) \N (7 . t))) (who ((((6 . e) \N (7 . t)) \ ((1 . e) \N (2 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((3 . e) \\ ((10 . e) > (4 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (4 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (4 . t)))) (A2RR ((((((1 . e) \N (2 . t)) /1 ((1 . e) \N (2 . t))) /2 (((3 . e) \ (4 . t)) / (5 . e))) // ((((3 . e) \ (4 . t)) / (5 . e)) \\ (((1 . e) \N (2 . t)) /1 ((1 . e) \N (2 . t))))) / (((3 . e) \ (4 . t)) / (5 . e)))) (admired (((3 . e) \ (4 . t)) / (5 . e))) (himself (((10 . e) > (4 . t)) // ((5 . e) \\ (4 . t)))))
derivation: ((D (U D)) ((Z (U D)) ((Z (U A1R)) ((Z (U (L yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2RR admired)))) (U himself)))))))))
771 edges -- Done parsing.
#<output_port:stdout>

========= yeti self_LR admiring ============
(Processing:  (A1L yeti who B _ A2LR admired himself))

-------------------
edge      : 644 A1L yeti who B _ A2LR admired himself	(0 8)	(((e \N t) \1 (e \N t)) /2 ((e \ t) / e)) 
semantics : (^ r1 (^ r2 (^ x ((r2 x) & ((r1 x) x)))))
proofnet  : (((((1 . e) \N (2 . t)) \1 ((3 . e) \N (4 . t))) /2 (((5 . e) \ (6 . t)) / (7 . e))) (A1L (((((1 . e) \N (2 . t)) \1 ((3 . e) \N (4 . t))) // (((1 . e) \N (2 . t)) \\ ((3 . e) \N (4 . t)))) / ((1 . e) \N (2 . t)))) (yeti ((1 . e) \N (2 . t))) (who ((((1 . e) \N (2 . t)) \ ((3 . e) \N (4 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((5 . e) \\ ((10 . e) > (6 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (6 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (6 . t)))) (A2LR ((((((1 . e) \N (2 . t)) \1 ((3 . e) \N (4 . t))) /2 (((5 . e) \ (6 . t)) / (7 . e))) // ((((5 . e) \ (6 . t)) / (7 . e)) \\ (((1 . e) \N (2 . t)) \1 ((3 . e) \N (4 . t))))) / (((5 . e) \ (6 . t)) / (7 . e)))) (admired (((5 . e) \ (6 . t)) / (7 . e))) (himself (((10 . e) > (6 . t)) // ((7 . e) \\ (6 . t)))))
derivation: ((D (U D)) (((D (U Z)) ((Z (U L)) (A1L yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2LR admired)))) (U himself)))))))

-------------------
edge      : 736 A1L yeti who B _ A2LR admired himself	(0 8)	(((e \N t) \1 (e \N t)) /2 ((e \ t) / e)) 
semantics : (^ r1 (^ x x))
proofnet  : (((((1 . e) \N (2 . t)) \1 ((1 . e) \N (2 . t))) /2 (((3 . e) \ (4 . t)) / (5 . e))) (A1L (((((1 . e) \N (2 . t)) \1 ((1 . e) \N (2 . t))) // (((1 . e) \N (2 . t)) \\ ((1 . e) \N (2 . t)))) / ((1 . e) \N (2 . t)))) (yeti ((6 . e) \N (7 . t))) (who ((((6 . e) \N (7 . t)) \ ((1 . e) \N (2 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((3 . e) \\ ((10 . e) > (4 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (4 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (4 . t)))) (A2LR ((((((1 . e) \N (2 . t)) \1 ((1 . e) \N (2 . t))) /2 (((3 . e) \ (4 . t)) / (5 . e))) // ((((3 . e) \ (4 . t)) / (5 . e)) \\ (((1 . e) \N (2 . t)) \1 ((1 . e) \N (2 . t))))) / (((3 . e) \ (4 . t)) / (5 . e)))) (admired (((3 . e) \ (4 . t)) / (5 . e))) (himself (((10 . e) > (4 . t)) // ((5 . e) \\ (4 . t)))))
derivation: ((D (U D)) ((Z (U D)) ((Z (U A1L)) ((Z (U (L yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2LR admired)))) (U himself)))))))))
771 edges -- Done parsing.
#<output_port:stdout>

========= admiring self_RL yeti ============
(Processing:  (A1R yeti who B _ A2RL admired himself))

-------------------
edge      : 644 A1R yeti who B _ A2RL admired himself	(0 8)	(((e \ t) / e) \2 ((e \N t) /1 (e \N t))) 
semantics : (^ r1 (^ r2 (^ x ((r2 x) & ((r1 x) x)))))
proofnet  : (((((1 . e) \ (2 . t)) / (3 . e)) \2 (((4 . e) \N (5 . t)) /1 ((6 . e) \N (7 . t)))) (A1R (((((4 . e) \N (5 . t)) /1 ((6 . e) \N (7 . t))) // (((6 . e) \N (7 . t)) \\ ((4 . e) \N (5 . t)))) / ((6 . e) \N (7 . t)))) (yeti ((6 . e) \N (7 . t))) (who ((((6 . e) \N (7 . t)) \ ((4 . e) \N (5 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((1 . e) \\ ((10 . e) > (2 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (2 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (2 . t)))) (A2RL ((((((1 . e) \ (2 . t)) / (3 . e)) \2 (((4 . e) \N (5 . t)) /1 ((6 . e) \N (7 . t)))) // ((((1 . e) \ (2 . t)) / (3 . e)) \\ (((4 . e) \N (5 . t)) /1 ((6 . e) \N (7 . t))))) / (((1 . e) \ (2 . t)) / (3 . e)))) (admired (((1 . e) \ (2 . t)) / (3 . e))) (himself (((10 . e) > (2 . t)) // ((3 . e) \\ (2 . t)))))
derivation: ((D (U D)) (((D (U Z)) ((Z (U L)) (A1R yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2RL admired)))) (U himself)))))))

-------------------
edge      : 736 A1R yeti who B _ A2RL admired himself	(0 8)	(((e \ t) / e) \2 ((e \N t) /1 (e \N t))) 
semantics : (^ r1 (^ x x))
proofnet  : (((((1 . e) \ (2 . t)) / (3 . e)) \2 (((4 . e) \N (5 . t)) /1 ((4 . e) \N (5 . t)))) (A1R (((((4 . e) \N (5 . t)) /1 ((4 . e) \N (5 . t))) // (((4 . e) \N (5 . t)) \\ ((4 . e) \N (5 . t)))) / ((4 . e) \N (5 . t)))) (yeti ((6 . e) \N (7 . t))) (who ((((6 . e) \N (7 . t)) \ ((4 . e) \N (5 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((1 . e) \\ ((10 . e) > (2 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (2 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (2 . t)))) (A2RL ((((((1 . e) \ (2 . t)) / (3 . e)) \2 (((4 . e) \N (5 . t)) /1 ((4 . e) \N (5 . t)))) // ((((1 . e) \ (2 . t)) / (3 . e)) \\ (((4 . e) \N (5 . t)) /1 ((4 . e) \N (5 . t))))) / (((1 . e) \ (2 . t)) / (3 . e)))) (admired (((1 . e) \ (2 . t)) / (3 . e))) (himself (((10 . e) > (2 . t)) // ((3 . e) \\ (2 . t)))))
derivation: ((D (U D)) ((Z (U D)) ((Z (U A1R)) ((Z (U (L yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2RL admired)))) (U himself)))))))))
771 edges -- Done parsing.
#<output_port:stdout>

========= yeti admiring self_LL yeti ============
(Processing:  (A1L yeti who B _ A2LL admired himself))

-------------------
edge      : 644 A1L yeti who B _ A2LL admired himself	(0 8)	(((e \ t) / e) \2 ((e \N t) \1 (e \N t))) 
semantics : (^ r1 (^ r2 (^ x ((r2 x) & ((r1 x) x)))))
proofnet  : (((((1 . e) \ (2 . t)) / (3 . e)) \2 (((4 . e) \N (5 . t)) \1 ((6 . e) \N (7 . t)))) (A1L (((((4 . e) \N (5 . t)) \1 ((6 . e) \N (7 . t))) // (((4 . e) \N (5 . t)) \\ ((6 . e) \N (7 . t)))) / ((4 . e) \N (5 . t)))) (yeti ((4 . e) \N (5 . t))) (who ((((4 . e) \N (5 . t)) \ ((6 . e) \N (7 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((1 . e) \\ ((10 . e) > (2 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (2 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (2 . t)))) (A2LL ((((((1 . e) \ (2 . t)) / (3 . e)) \2 (((4 . e) \N (5 . t)) \1 ((6 . e) \N (7 . t)))) // ((((1 . e) \ (2 . t)) / (3 . e)) \\ (((4 . e) \N (5 . t)) \1 ((6 . e) \N (7 . t))))) / (((1 . e) \ (2 . t)) / (3 . e)))) (admired (((1 . e) \ (2 . t)) / (3 . e))) (himself (((10 . e) > (2 . t)) // ((3 . e) \\ (2 . t)))))
derivation: ((D (U D)) (((D (U Z)) ((Z (U L)) (A1L yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2LL admired)))) (U himself)))))))

-------------------
edge      : 736 A1L yeti who B _ A2LL admired himself	(0 8)	(((e \ t) / e) \2 ((e \N t) \1 (e \N t))) 
semantics : (^ r1 (^ x x))
proofnet  : (((((1 . e) \ (2 . t)) / (3 . e)) \2 (((4 . e) \N (5 . t)) \1 ((4 . e) \N (5 . t)))) (A1L (((((4 . e) \N (5 . t)) \1 ((4 . e) \N (5 . t))) // (((4 . e) \N (5 . t)) \\ ((4 . e) \N (5 . t)))) / ((4 . e) \N (5 . t)))) (yeti ((6 . e) \N (7 . t))) (who ((((6 . e) \N (7 . t)) \ ((4 . e) \N (5 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((1 . e) \\ ((10 . e) > (2 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (2 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (2 . t)))) (A2LL ((((((1 . e) \ (2 . t)) / (3 . e)) \2 (((4 . e) \N (5 . t)) \1 ((4 . e) \N (5 . t)))) // ((((1 . e) \ (2 . t)) / (3 . e)) \\ (((4 . e) \N (5 . t)) \1 ((4 . e) \N (5 . t))))) / (((1 . e) \ (2 . t)) / (3 . e)))) (admired (((1 . e) \ (2 . t)) / (3 . e))) (himself (((10 . e) > (2 . t)) // ((3 . e) \\ (2 . t)))))
derivation: ((D (U D)) ((Z (U D)) ((Z (U A1L)) ((Z (U (L yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2LL admired)))) (U himself)))))))))
771 edges -- Done parsing.
#<output_port:stdout>
